A Categorical Manifesto

Morality not Markets: A Manifesto for the NHS; Response to Pollock, Frith, and Cox

A Bayesian Approach to Longitudinal Categorical Data in a Continuous Time Markov Chain Model

Continuous time Markov chain (CTMC) models are frequently used in medical research for studies of disease progression, but they are rarely applied to thranstheretical modes (TTM). Existing literatures focus on models with restrictions of one-step transitions or with small number of states. TTM, however, often have four or more states and all one-step transitions are conceptually allowed. Though...

The SPI Manifesto and the corresponding ECQA certified SPI manager Training

In order to define a modern approach for Software Process Improvement (SPI), the SPI Manifesto was developed, discussed, and finalized at the 16 EuroSPI Conference in 2009 in Alcala, Spain. The common understanding gained during the discussion and usage of the manifesto formed a nucleus from which the new ISO/IEC 33014[ISO01] was derived. In parallel to the development of the SPI Manifesto, the...

The QED manifesto revisited

We present an overview of the current state of formalization of mathematics, and argue what will be needed to make the vision from the QED manifesto come true. This short and intentionally provocative paper is dedicated to Andrzej Trybulec. When I first wrote about the Mizar system, Andrzej wrote to me: I have looked to pages that you have prepared. [. . . ] I advertise them, even if they are a...

The Third Manifesto ([2]) and Tutorial D. CONTENTS

(please see Note to Reviewers on page 2) Reviewers are expected to be familiar with the relational model of data and preferably with The Third Manifesto ([2]) and Tutorial D.